Le paradis des listes de vérification : le réseau EQUATOR

´ Economie Des Biens Immatériels Le Réseau ⊔net

We introduce a new economic system suited for Intangible Goods (ig). We argue that such system can now be implemented in the real world using advance technics in distributed network computing and cryptography. The specification of the so called ⊔net is presented. To Limit the number of financial transactions, the system is forced to define its own currency, with many benefits. The new “cup” cur...

Sur l'exploitation d'un réseau de transport en commun : le problème du roulement des agents de conduite

Interrogation et vérification de documents OWL dans le modèle des Graphes Conceptuels

Résumé. OWL est un langage pour la description d’ontologies sur le Web. Cependant, en tant que langage, OWL ne fournit aucun moyen pour interpréter les ontologies qu’il décrit, et étant orienté machine, il reste difficilement compréhensible par l’humain. On propose une approche de visualisation, d’interrogation et de vérification de documents OWL, regroupées dans un unique environnement graphiq...

Intégration des intergiciels de grilles de PC dans le nuage SlapOS : le cas de BOINC

Dans cet article nous exposons les problèmes et les solutions liés à l’intégration des intergiciels de grilles de PC dans un cloud, en l’occurrence le cloud libre SlapOS. Nous nous concentrons sur les problématiques de recettage qui décrivent l’intégration ainsi que la problématique du confinement d’exécution qui constituent deux aspects systèmes des architectures orientées service et du « Clou...

Le formalisme objet appliqué à l'étude de l'édifice patrimonial : Problèmes de modélisation et d'échanges de données sur le réseau Internet

ion de données[Gaillard, 1994]